Topologies on Free Monoids Induced by Closure Operators of a Special Type

For S£g^>(I*) the language operator Anf# (A) is defined by {z\z\Ae<S?}. If £? fulfiiïs some properties then oc^ ( ^ ^ ^ u Anf^ (A) is a closure operator and hence topologies can be defined. These topologies are characterized by different points of view. Furthermore some topological properties are discussed in terms of properties of ££'. Resumé. — Pour unefamille.de langages j2f<=£(X*) l'opérateur Anf^(A) est défini par {z\z\Ae9}. Si S£ satisfait certaines conditions. Inapplication ou (A) —A u Anf^-(A) est une fermeture ce qui permet de définir des topologies. Ces topologies peuvent être caractérisées sous différents points de vue. En plus, certaines propriétés topologiques seront considérées dépendant des propriétés de ££'.